$\forall$${\it es}$:ES, $i$:Id. AtomFree(Type;state@$i$)